COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00003 ENDMK
C⊗;
.require "let.pub[let,jmc]" source;
.FONT A "GRKB30";
.turn on "→"
∂AIL Dr. Daniel Bobrow↓Xerox Palo Alto Research Center
↓3333 Coyote Hill Road↓Palo Alto, CA 94304∞

Dear Danny:

	Would you ask the %2AI Journal%1 to print an erratum to
my "Addendum: Circumscription and other Non-Monotonic Formalisms".
Equation (3) on page 172 should read

.begin nofill
.FONT B "BAXM30";

	%B∃%AF%B.(Axiom(%AF%B) ∧ %AF%B(train, tracks) ⊃ ¬safe-to-cross(tracks))%1.→(3)

.end
.sgn